Search results for "Stochastic Petri net"

showing 3 items of 3 documents

Advanced Stochastic Petri Net Modeling with the Mercury Scripting Language

2017

Formal models are widely used in performance and dependability studies of computational systems. Graphical modeling tools allow users to compose such models with ease, but they complicate the creation of models with a dynamic/complex structure, the hierarchical arrangement of different models, and the automatic execution of models with different parameter configurations. To overcome this problem, we created a scripting language for the Mercury tool that supports the combination of different modeling approaches (e.g., Stochastic Petri Nets and Reliability Block Diagrams) in a single project. In this paper, we focus on the extensions developed to improve the capabilities of Generalized Stocha…

Hierarchical modelingProgramming languageComputer science020206 networking & telecommunicationsReliability block diagram02 engineering and technologycomputer.software_genreScripting language0202 electrical engineering electronic engineering information engineeringStochastic Petri netDependability020201 artificial intelligence & image processingPhase-type distributionMercury (programming language)Discrete event simulationcomputercomputer.programming_languageProceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools
researchProduct

A task scheduling algorithm for HPC applications using colored stochastic Petri Net models

2017

The increase in demand for High Performance Computing (HPC) scientific applications motivates the efforts to reduce costs of running these applications. The problem to solve is that of dynamical multi-criterial optimal scheduling of an application on a HPC platform with a high number of heterogeneous nodes. The solution proposed by the authors is a HPC hardware-software architecture that includes the infrastructure for two level (node and inter-node level) adaptive load balancing. The article presents the development of an Coloured Petri Net(CPN) for such an architecture. The model was used for the development of a dynamic distributed algorithm for the scheduling problem. The CPN allowed a …

Job shop schedulingComputer scienceDistributed computingColoured Petri net020206 networking & telecommunications02 engineering and technologyPetri netLoad balancing (computing)Load managementDistributed algorithm0202 electrical engineering electronic engineering information engineeringStochastic Petri net020201 artificial intelligence & image processingFormal verification2017 13th IEEE International Conference on Intelligent Computer Communication and Processing (ICCP)
researchProduct

Call admission control scheme using borrowable guard channels and prioritizing fresh calls retrials in small cell networks

2014

International audience; Recent trends in mobile cellular networks turn towards deployment of Small Cell Networks (SCNs), where, the cell size gets smaller, and thus the number of subscribers served in a cell will be relatively smaller, such that traffic models with a finite source of subscribers should be considered. Smaller cells cause the mobile subscribers to cross several cells during an ongoing conversation resulting in frequent handovers. Most of works dealing with Call Admission Control (CAC) problems based on guard channels scheme in cellular mobile networks consider models without retrials (reapeted calls phenomenon). However, almost all existing works which take into account retri…

education.field_of_studyQueueing theory[SPI] Engineering Sciences [physics]business.industryComputer scienceCall Admission ControlPopulationBlocking (statistics)[SPI]Engineering Sciences [physics]HandoverCellular networkStochastic Petri netSmall celleducationbusinessComputingMilieux_MISCELLANEOUSComputer network2014 Global Information Infrastructure and Networking Symposium (GIIS)
researchProduct